home *** CD-ROM | disk | FTP | other *** search
/ NetNews Offline 2 / NetNews Offline Volume 2.iso / news / comp / lang / c++-part1 / 5787 < prev    next >
Encoding:
Text File  |  1996-08-05  |  2.7 KB  |  79 lines
  1. Newsgroups: comp.sys.mac.programmer.codewarrior,comp.lang.c++
  2. Path: info.physics.utoronto.ca!news
  3. From: Andrew Datars <datars@tiger.physics.utoronto.ca>
  4. Subject: Re: using a template parameter as a qualifier -- legal or not?
  5. Message-ID: <3117C2B0.41C6@tiger.physics.utoronto.ca>
  6. Nntp-Posting-Host: husky.physics.utoronto.ca
  7. Sender: news@info.physics.utoronto.ca (System Administrator)
  8. Mime-Version: 1.0
  9. X-Mailer: Mozilla 2.0b6a (X11; I; IRIX64 6.0.1 IP26)
  10. Content-Type: text/plain; charset=us-ascii
  11. Organization: Dept. of Physics, Univ. of Toronto
  12. Date: Tue, 6 Feb 1996 21:05:52 GMT
  13. References: <rshapiro-0602961258310001@esb.bbn.com>
  14. Content-Transfer-Encoding: 7bit
  15.  
  16. R Shapiro wrote:
  17. > 
  18. > I'd like to use the formal argument to a template as the qualifier of a
  19. > qualified typename within the template. This doesn't work in CodeWarrior
  20. > 8, it does work in VC++ 4.0, and I can't tell from ARM whether or not it
  21. > *should* work.
  22. > 
  23. > Here's a more specific example:
  24. > 
  25. > template <class OBJECT>
  26. > class OrderedCollection {
  27. >    typedef void (OBJECT::*memberMapper)(void);
  28. > .
  29. > .
  30. > .
  31. > };
  32. > 
  33. > I would like the typedef 'memberMapper' to refer to pointers to member
  34. > functions (of no arguments and returning no value) of whatever class is
  35. > specified in a given instantiation of the template.
  36. > 
  37. > For instance, if X and Y are classes, I would expect memberMapper in
  38. > OrderedCollection<X> to be:
  39. > 
  40. >   void (X::*memberMapper)(void)
  41. > 
  42. > and memberMapper in OrderedCollection<Y> to be:
  43. > 
  44. >    void (Y::*memberMapper)(void)
  45. > 
  46. > Should this work or not? If not, why not? If so -- this is a bug in CW8.
  47. > 
  48. > --
  49. > rs/rshapiro@bbn.com
  50.  
  51. I have in my code something like this ...
  52.  
  53. typedef double (INTERPOLATE_DOS::*TInterpolateFunction)(double);
  54.  
  55. where INTERPOLATE_DOS is a parameter to the template.
  56.  
  57. However, I would not be that surprised if CodeWarrior doesn't
  58. work with it. I have a little anecdote. I started trying
  59. to use pointers to member functions of a parametrized class
  60. about 3 years ago. At the time few compilers really had templates
  61. working very well. With a little snippet of code I could break
  62. many compilers. I can still use this to break certain
  63. compilers in certain instances (where the pointer to member function
  64. is to an overloaded function). I have not used CodeWarrior. So
  65. I can't really comment on your question directly. I know that
  66. for most compilers the above DOES work. But I have had the technique
  67. actually cause the SGI compiler to crash, as well as evoke
  68. all kinds of wacky error messages from cfront, and g++, and Borland
  69. C++ 4.5.
  70.  
  71. Hope that helps.
  72.  
  73.  
  74. Andrew
  75. -- 
  76. Andrew Datars    (datars@tiger.physics.utoronto.ca)
  77. Quantum Transport/General Computer Helper             phone:(416)978-6185
  78. Dept. of Physics, Univ. of Toronto                 fax:  (416)978-2537
  79.